Marcus and Substitutivity

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Component Simulation-based Substitutivity Managing QoS Aspects

Several scientific bottlenecks have been identified in existing component-based approaches. Among them, we focus on the identification of a relevant abstraction for the component expression and verification of properties like substitutivity: When is it possible to formally accept or reject the substitution of a component in a composition? This paper suggests max/plus automata to tackle this pro...

متن کامل

Marcus Stensmyr

in a drawer somewhere awaiting identification. “Many people think that discovering new species is just about going on expeditions to exotic locations and collecting new specimens, but the truth is that thousands of new plant species are lying neglected and unidentified in cupboards, drawers and cabinets around the world,” Oxford’s Robert Scotland said. The reason for this phenomenon, the resear...

متن کامل

Component simulation-based substitutivity managing QoS and composition issues

Several scienti c bottlenecks have been identi ed in existing component-based approaches. Among them, we focus on the identi cation of a relevant abstraction for the component expression and veri cation of properties like substitutivity: When is it possible to formally accept or reject the substitution of a component in a composition? This paper suggests integer weighted automata to tackle this...

متن کامل

Characterizing Web Service Substitutivity with Combined Deductive and Inductive Engines

This paper proposes a lightweight mechanism to combine deductive and inductive inference engines and describes an application in which the resulting functionality is shown to add significant value. Within the unified setting of deductive database technology and inductive logic programming, the combination of inference engines is much easier and the resulting systems much better integrated. This...

متن کامل

The Marcus Gunn pupil.

cannot be excluded. Allele association studies are hampered by several possible sources of error." Our study emphasises the need for additional, carefully designed studies when applying this potentially useful method in the search for genetic factors contributing to the aetiology of Parkinson's disease.tion between the oxidative polymorphism and early onset of Parkinson's disease. Genotype rela...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: THEORIA. An International Journal for Theory, History and Foundations of Science

سال: 2013

ISSN: 2171-679X,0495-4548

DOI: 10.1387/theoria.6938